- Modulschnittstelle
- 1. Begriff: Der Teil eines ⇡ Moduls, in dem die Leistungen spezifiziert werden, die das Modul dem Benutzer zur Verfügung stellt.- Vgl. auch ⇡ Spezifikation.- 2. Inhalt: a) I.w.S. zählen zur M. alle Annahmen irgendwelcher Art, die außerhalb des Moduls – von einem Benutzer des Moduls – über das Modul gemacht werden.- b) I.e.S. besteht die M.: (1) Bei funktionsorientierten Modulen aus Modulname und Formalparametern, (2) bei datenorientierten Modulen aus Modulname und ⇡ Zugriffsoperationen mit Formalparametern (bei abstrakten Datentypen auch Typname) sowie Angaben, wie die Zugriffsoperationen zu benutzen sind und welche Wirkungen sie haben.- Gegensatz: ⇡ Modulrumpf.
Lexikon der Economics. 2013.